⠀
Proposition: Die Anzahl signierter Teilmengen einer
-elementigen Menge ist Die Anzahl signierter Teilmengen einer
-elementigen Menge ist . 
Beweis
Es ist zu zeigen, dass eine Menge 
Die Menge der möglichen Tupel 
Da jedes Urbild 
- entweder 
- oder 
- oder 
In anderen Worten:
- jede signierte Teilmenge definiert eindeutig eine signierte charakteristische Funktion und
- jede signierte charakteristische Funktion definiert eindeutig eine signierte Teilmenge
Aus einem früheren Beweis wissen wir bereits, dass die Anzahl aller Funktionsvorschriften einer Funktion 
In unserem Fall gilt: 
Das heißt,